context-free grammar inference

[计] 上下文无关文法推断